Covering graphs by monochromatic trees and Helly-type results for hypergraphs

How many monochromatic paths, cycles or general trees does one need to cover all vertices of a given $r$-edge-coloured graph $G$? These problems were introduced in the 1960s and were intensively studied by various researchers over the last 50 years. In this paper, we establish a connection between this problem and the following natural Helly-type question in hypergraphs. Roughly speaking, this question asks for the maximum number of vertices needed to cover all the edges of a hypergraph $H$ if it is known that any collection of a few edges of $H$ has a small cover. We obtain quite accurate bounds for the hypergraph problem and use them to give some unexpected answers to several questions about covering graphs by monochromatic trees raised and studied by Bal and DeBiasio, Kohayakawa, Mota and Schacht, Lang and Lo, and Gir\~ao, Letzter and Sahasrabudhe.Comment: 20 pages including references plus 2 pages of an Appendi

Towards the Erd\H{o}s-Hajnal conjecture for P5P_5-free graphs

The Erd\H{o}s-Hajnal conjecture is one of the most classical and well-known problems in extremal and structural combinatorics dating back to 1977. It asserts that in stark contrast to the case of a general $n$-vertex graph if one imposes even a little bit of structure on the graph, namely by forbidding a fixed graph $H$ as an induced subgraph, instead of only being able to find a polylogarithmic size clique or an independent set one can find one of polynomial size. Despite being the focus of considerable attention over the years the conjecture remains open. In this paper we improve the best known lower bound of $2^{\Omega(\sqrt{\log n})}$ on this question, due to Erd\H{o}s and Hajnal from 1989, in the smallest open case, namely when one forbids a $P_5$, the path on $5$ vertices. Namely, we show that any $P_5$-free $n$ vertex graph contains a clique or an independent set of size at least $2^{\Omega(\log n)^{2/3}}$. Our methods also lead to the same improvement for an infinite family of graphs

Towards the Erd\H{o}s-Gallai Cycle Decomposition Conjecture

In the 1960's, Erd\H{o}s and Gallai conjectured that the edges of any $n$-vertex graph can be decomposed into $O(n)$ cycles and edges. We improve upon the previous best bound of $O(n\log\log n)$ cycles and edges due to Conlon, Fox and Sudakov, by showing an $n$-vertex graph can always be decomposed into $O(n\log^{*}n)$ cycles and edges, where $\log^{*}n$ is the iterated logarithm function.Comment: Final version, accepted for publicatio

Minimum saturated families of sets

We call a family $\mathcal{F}$ of subsets of $[n]$ $s$-saturated if it contains no $s$ pairwise disjoint sets, and moreover no set can be added to $\mathcal{F}$ while preserving this property (here $[n] = \{1,\ldots,n\}$). More than 40 years ago, Erd\H{o}s and Kleitman conjectured that an $s$-saturated family of subsets of $[n]$ has size at least $(1 - 2^{-(s-1)})2^n$. It is easy to show that every $s$-saturated family has size at least $\frac{1}{2}\cdot 2^n$, but, as was mentioned by Frankl and Tokushige, even obtaining a slightly better bound of $(1/2 + \varepsilon)2^n$, for some fixed $\varepsilon > 0$, seems difficult. In this note, we prove such a result, showing that every $s$-saturated family of subsets of $[n]$ has size at least $(1 - 1/s)2^n$. This lower bound is a consequence of a multipartite version of the problem, in which we seek a lower bound on $|\mathcal{F}_1| + \ldots + |\mathcal{F}_s|$ where $\mathcal{F}_1, \ldots, \mathcal{F}_s$ are families of subsets of $[n]$, such that there are no $s$ pairwise disjoint sets, one from each family $\mathcal{F}_i$, and furthermore no set can be added to any of the families while preserving this property. We show that $|\mathcal{F}_1| + \ldots + |\mathcal{F}_s| \ge (s-1)\cdot 2^n$, which is tight e.g.\ by taking $\mathcal{F}_1$ to be empty, and letting the remaining families be the families of all subsets of $[n]$.Comment: 8 page

2-factors with k cycles in Hamiltonian graphs

A well known generalisation of Dirac's theorem states that if a graph $G$ on $n\ge 4k$ vertices has minimum degree at least $n/2$ then $G$ contains a $2$-factor consisting of exactly $k$ cycles. This is easily seen to be tight in terms of the bound on the minimum degree. However, if one assumes in addition that $G$ is Hamiltonian it has been conjectured that the bound on the minimum degree may be relaxed. This was indeed shown to be true by S\'ark\"ozy. In subsequent papers, the minimum degree bound has been improved, most recently to $(2/5+\varepsilon)n$ by DeBiasio, Ferrara, and Morris. On the other hand no lower bounds close to this are known, and all papers on this topic ask whether the minimum degree needs to be linear. We answer this question, by showing that the required minimum degree for large Hamiltonian graphs to have a $2$-factor consisting of a fixed number of cycles is sublinear in $n.$Comment: 13 pages, 6 picture

Large independent sets from local considerations

The following natural problem was raised independently by Erd\H{o}s-Hajnal and Linial-Rabinovich in the late 80's. How large must the independence number $\alpha(G)$ of a graph $G$ be whose every $m$ vertices contain an independent set of size $r$? In this paper we discuss new methods to attack this problem. The first new approach, based on bounding Ramsey numbers of certain graphs, allows us to improve previously best lower bounds due to Linial-Rabinovich, Erd\H{o}s-Hajnal and Alon-Sudakov. As an example, we prove that any $n$-vertex graph $G$ having an independent set of size $3$ among every $7$ vertices has $\alpha(G) \ge \Omega(n^{5/12})$. This confirms a conjecture of Erd\H{o}s and Hajnal that $\alpha(G)$ should be at least $n^{1/3+\varepsilon}$ and brings the exponent half-way to the best possible value of $1/2$. Our second approach deals with upper bounds. It relies on a reduction of the original question to the following natural extremal problem. What is the minimum possible value of the $2$-density of a graph on $m$ vertices having no independent set of size $r$? This allows us to improve previous upper bounds due to Linial-Rabinovich, Krivelevich and Kostochka-Jancey. As part of our arguments we link the problem of Erd\H{o}s-Hajnal and Linial-Rabinovich and our new extremal $2$-density problem to a number of other well-studied questions. This leads to many interesting directions for future research.Comment: 26 pages in the main body, 7 figures, 3 appendice